fun (a) (b) -> ()